Computable real function - PDFSEARCH.IO - Document Search Engine

Computable real function
Results: 22

#	Item
11	Computable representations for convex hulls of low-dimensional quadratic forms Kurt M. Anstreicher and Samuel Burer Dept. of Management Sciences University of Iowa February 6, 2007 Add to Reading List Source URL: www.optimization-online.org Language: English - Date: 2007-02-07 17:22:23 Operations research Convex analysis Real algebraic geometry Convex optimization Quadratically constrained quadratic program Semidefinite programming Quadratic programming Convex function Linear programming Mathematical optimization Mathematics Mathematical analysis
12	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
13	ASYMPTOTIC DENSITY, COMPUTABLE TRACEABILITY, AND 1-RANDOMNESS URI ANDREWS, MINGZHONG CAI, DAVID DIAMONDSTONE, CARL JOCKUSCH, AND STEFFEN LEMPP Abstract. Let r be a real number in the unit interval [0, 1]. A set A ⊆ ω Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-02-03 11:22:22 Mathematics Computable function Algorithmically random sequence Busy beaver Theory of computation Computability theory Applied mathematics
14	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Experimental computation of real numbers by Newtonian machines by Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-10-05 05:03:30 Computer science Applied mathematics Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Computable number Computability Theoretical computer science Theory of computation Computability theory
15	Sino-Germany Project July, 2005 Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Computable number Computable analysis Computable real function Low Turing machine Computable measure theory Computability Computable function Computability theory Theoretical computer science Theory of computation
16	Computing over the Reals: Where Turing Meets Newton [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-22 10:29:01 Computer science Theory of computation Computational complexity theory Computable number Computable function Turing machine Halting problem Computability Real computation Theoretical computer science Computability theory Applied mathematics
17	A Theory of Computation and Complexity over the Real Numbers Lenore Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:50:03 Applied mathematics Theory of computation Structural complexity theory Computational complexity theory Computable function Decision problem Reduction Polynomial Computability Theoretical computer science Mathematics Computability theory
18	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 Mathematical logic Theory of computation Functions and mappings Formal methods Models of computation Function Computable number Sheaf Lambda calculus Mathematics Computability theory Theoretical computer science
19	Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e Informatica, Universit`a di Udine Add to Reading List Source URL: users.dimi.uniud.it Language: English - Date: 2010-04-04 11:51:58 Elementary mathematics Field theory Computable number Computable analysis Computable function Real number Computable real function Rational number Cauchy sequence Mathematics Computability theory Theory of computation
20	PDF Document Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-30 08:32:21 Calculus Computability theory Real analysis Theory of computation Continuous function Programming Computable Functions Computable function Function Domain theory Mathematical analysis Mathematics Topology